Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
901	Improving Flow Analyses via ΓCFA Abstract Garbage Collection and Counting Matthew Might Olin Shivers Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Models of computation Computability theory Lambda calculus Theoretical computer science Abstract interpretation Free variables and bound variables Eval Computing Mathematics Software engineering
902	th Solomonoff 85 Memorial Conference Preliminary Call for Papers 30 November – 2 December 2011 Add to Reading List Source URL: www.solomonoff85thmemorial.monash.edu.au Language: English - Date: 2011-09-02 04:19:08 Artificial intelligence Computability theory Ray Solomonoff Algorithmic information theory Cybernetics Theoretical computer science Algorithmic probability Kolmogorov complexity Marcus Hutter Science Knowledge Applied mathematics
903	A Polynomial Time λ-calculus with Multithreading and Side Effects ∗ Antoine Madet Univ Paris Diderot, Sorbonne Paris Cit´e PPS, UMR 7126, CNRS, F[removed]Paris, France [removed] Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2012-09-26 03:33:14 Computability theory Lambda calculus Theoretical computer science Valuation Envelope Holomorphic functional calculus Mathematics Abstract algebra Mathematical analysis
904	J Autom Reasoning DOI[removed]s10817[removed]y A Canonical Locally Named Representation of Binding Randy Pollack · Masahiko Sato · Wilmer Ricciotti Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-06-02 12:07:39 Predicate logic Computability theory Lambda calculus Theoretical computer science Function Free variables and bound variables De Bruijn index Combinatory logic Mathematics Mathematical analysis Mathematical logic
905	On the complexity Andrea Dipartimento Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2007-10-31 09:25:33 Computability theory Lambda calculus Algorithm SL Reduction L Connectivity Theoretical computer science Applied mathematics Complexity classes
906	KEITH DEVLIN Books Trade books 1. The Man of Numbers: Fibonacci’s Arithmetic Revolution, Walker Books (2011), 192pp. 2. Leonardo and Steve: the Young Genius Who Beat Apple to Market by 800 Years, Ted Weinstein (2011), Add to Reading List Source URL: profkeithdevlin.com Language: English - Date: 2012-11-03 14:43:43 Mathematical logic Logic Knowledge Mathematician Number theory Computability theory Philosophy of mathematics Science Mathematics
907	pdf version of the entry Turing Machines http://plato.stanford.edu/archives/sum2013/entries/turing-machine/ First published Thu Sep 14, 1995; substantive revision Tue Jun 26, 2012 Add to Reading List Source URL: leibniz.stanford.edu Language: English - Date: 2014-06-20 10:34:12 Computer science Turing machine Models of computation Alan Turing Computability Busy beaver Halting problem Computable number Church–Turing thesis Theoretical computer science Computability theory Theory of computation
908	pdf version of the entry Turing Machines http://plato.stanford.edu/archives/sum2013/entries/turing-machine/ from the Summer 2013 Edition of the Edward N. Zalta Add to Reading List Source URL: leibniz.stanford.edu Language: English - Date: 2014-06-20 10:34:12 Theory of computation Turing machine Models of computation Alan Turing Computability Busy beaver Church–Turing thesis Computable function Halting problem Computability theory Theoretical computer science Computer science
909	pdf version of the entry Turing Machines http://plato.stanford.edu/archives/sum2013/entries/turing-machine/ PL E Add to Reading List Source URL: leibniz.stanford.edu Language: English - Date: 2014-06-20 10:34:12 Computer science Turing machine Models of computation Alan Turing Computability Busy beaver Halting problem Computable number Church–Turing thesis Theoretical computer science Computability theory Theory of computation
910	Reflexive Autopoiesis and Weak Measures Add to Reading List Source URL: archonic.net Language: English - Date: 2014-02-16 19:18:36 Thermodynamics Turing machine Systems science Ethology Cybernetics Autopoiesis Meta-system Alan Turing Computability Systems theory Science Non-equilibrium thermodynamics